Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Русский

n-ary predicate

Толкование Перевод

1 n-ary predicate

мат. n-арный предикат

Большой англо-русский и русско-английский словарь > n-ary predicate
2 n-ary predicate

Математика: n-арный предикат

Универсальный англо-русский словарь > n-ary predicate
3 n-ary predicate

мат.

n-арный предикат

English-Russian scientific dictionary > n-ary predicate
4 predicate

логика

1) предикат, сказуемое || предикатный

2) утверждение || утверждать

•

- algebraic predicate

- analytic predicate

- arithmetical predicate

- atomic predicate

- auxiliary predicate

- basic predicate

- binary predicate

- bounded predicate

- complement of predicate

- complete predicate

- completely defined predicate

- completely representable predicate

- computability predicate

- decidable predicate

- definable predicate

- derived predicate

- disjunctively definable predicate

- dyadic predicate

- effectively decidable predicate

- elementary predicate

- enumerable predicate

- equality predicate

- exhaustive predicate

- expressible predicate

- filtered predicate

- first-order predicate

- formula predicate

- generable predicate

- general recursive predicate

- higher-order predicate

- homomorphically stable predicate

- hyperarithmetical predicate

- individual predicate

- induction predicate

- invariant predicate

- irreducible predicate

- metamathematical predicate

- monadic predicate

- multiplace predicate

- multiplicatively stable predicate

- n-argument predicate

- n-ary predicate

- n-place predicate

- nullary predicate

- number-theoretic predicate

- numeralwise decidable predicate

- numeralwise expressible predicate

- numerical predicate

- one-place predicate

- partial predicate

- persistent predicate

- polynomial predicate

- positive-formula predicate

- positively calculable predicate

- predicate of predicates

- prime predicate

- primitive predicate

- primitive recursive predicate

- properly recursive predicate

- quasirecursive predicate

- recursively enumerable predicate

- representable predicate

- representing predicate

- resolvable predicate

- sameness predicate

- satisfying predicate

- saturable predicate

- second-order predicate

- semiarithmetical predicate

- semicomputable predicate

- singular predicate

- stable predicate

- strictly stable predicate

- strong predicate

- symmetric predicate

- total predicate

- triadic predicate

- truth predicate

- two-place predicate

- unary predicate

- undecidable predicate

- unitary predicate

- universal predicate

- variable predicate

- weakly representable predicate

English-Russian scientific dictionary > predicate
5 n-арный предикат

мат. n-ary predicate

Большой англо-русский и русско-английский словарь > n-арный предикат
6 function

1) функция, действие || функционировать; действовать

- decision-making function
- essential functions - routine function - safety-related functions
2) функциональное назначение; роль

- auxiliary function
- circuit function - intrinsic function - metering function - primary function - robot function
- system function

3) функциональное подразделение ( предприятия)

- maintenance function
- planning function - service function - support function
4) функциональный узел ( машины)

- press function

5) матем. функциональная зависимость, функция

domain of a function — область определения функции, область изменения независимой переменной

function is periodic in — функция периодична по

function onto itself — отображение (функции) на себя

function vanishes — функция обращается в нуль

function with angular limit — функция с угловым пределом

function with vanishing derivative — функция с равной нулю производной

function without zeros — не обращающаяся в нуль функция

to be an explicit function of — зависеть явно от

to be an implicit function of — зависеть неявно от

- Abelian function

- absolute density function
- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function
- abstract function

- accuracy function

- acidity function

- acyclic function

- additive random function

- advanced function

- affect function

- affine function

- algebraically definable function

- algebroid function

- almost bounded function
- almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function
- alpha function

- alternating function

- ambiguous function

- analytically extended function
- analytically independent function - analytically representable function
- angle function

- antianalytic function

- antiholomorphic function

- antihyperbolic function

- antilinear function

- antiperiodic function

- antisymmetric function

- antitone function

- antitrigonometric function

- aperiodic function

- Appell function

- approximately continuous function
- approximately differentiable function
- arbitrary function

- arcus function

- area function

- arithmetical function

- arithmetically extensible function

- associated function

- asymmetric function

- asymptotic function

- asymptotical distribution function
- asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function
- atomic function

- attainability function

- autocovariance function

- autocovariance generating function

- automorphic function

- auxiliary function

- averaged function

- averaging function

- balayage function

- barrier function

- basis function

- behavioral function

- beta binomial function

- beta incomplete function

- biadditive function

- biaffine function

- bias function

- bicomplex function

- bicubic function

- biharmonic function

- biinvariant function

- bijective function

- bilinear function

- bimodal function

- bimultiplicative function

- binding function

- binomial distribution function

- binonlinear function

- biregular function

- biunique function

- bivariate function

- boundary characteristic function

- boundary characteristic function

- boundary function

- bounded above function
- bounded below function
- bounded function

- bracket function

- broad function

- broken-line function

- bulb function

- bump function

- canonical function

- canonically definable function

- capacity function

- carpeting function

- carrier function

- casino function

- causal function

- cellwise constant function
- cellwise continuous function
- centering function

- certain function

- chain function

- chance function

- chi-square function

- choice function

- chord function

- chromatic function

- circularly symmetric function
- circumferentially mean p-valent function
- class function

- close to convex function

- cluster function

- clutching function

- codimension function

- coefficient function

- coercive function

- cofinite function

- coherence function

- collapsing function

- color function

- combinatorial function

- combined function

- commutator function

- compact function

- compactly supported function

- compact-valued function

- comparative function
- comparison function - complementary error function
- complementary function

- complementary trigonometric function
- complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function
- complex-valued function

- complicated function

- component function

- composite function

- computably ambiguous function

- concave-convex function

- concentrated function

- concentration function

- concordant function

- conditional power function
- conditional risk function
- cone function

- confluent function

- confluent hypergeometric function

- congruence function

- conical function

- conjugate function

- connecting function

- consistent function

- constant-preserving function

- constrained function

- constraint function

- constructive function

- constructively nonrecursive function

- consumption function

- content function

- contiguous function

- continuously differentiable function

- continuum function

- contracting function

- contraction function

- contrast transfer function

- convergent function

- converse function

- convex-concave function

- cosecant function

- cosine function

- cospectral function

- cost function

- cosuperharmonic function

- cotangent function

- countably additive function
- countably multiplicative function - countably valued function
- counting function

- course-of-value function

- covariance function
- covariant function
- cramp function

- created function

- creating function

- criterion function

- critical function

- crosscorrelation function

- cross-covariance function

- cross-variance function

- cumulant function

- cumulant generating function
- cumulative distribution function - cumulative frequency function
- cup function

- curvilinear function

- cuspidal function

- cyclically monotone function

- cyclometric function

- cylinder function

- decay function

- decoding function

- decomposable function

- decomposing function

- defect function
- deficiency function
- deficient function

- degenerate function

- delta function

- denumerably-valued function

- dependence function

- depletion function

- derived function

- descriptive function

- design function

- determinate function

- diagonal function

- diagonalization function

- dibeta function

- difference function

- differential function

- digamma function

- dilogarithmic function

- dimensional function

- dimensionless function

- directing function

- discontinuous function

- discrete function

- discriminant function

- disjoined function

- dispersion function

- dissipative function

- distance function

- disturbing function

- ditonic function

- divergence-free vector function

- divergent function

- divisor function

- dominant function

- donor function

- don't care function
- double limit function
- double-spectral function

- double-valued function

- doubly orthogonal function
- doubly periodic function - doubly recursive function
- dual function

- dyadic function

- effective function

- effectively calculable function
- effectively computable function - effectively constant function - effectively decidable function - effectively variable function
- effectiveness function

- efficiency function

- elementarily recursive function
- elementarily symmetric function
- ellipsoidal function

- elliptic cylinder function

- empirical function

- empty function

- encoding function

- endogeneous function

- entire function of finite type
- entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function
- entropy function

- enumerating function

- enumeration function

- envelope function

- equal-ripple function

- equibounded function

- equilibrium function

- equivalence function

- essentially bounded function
- essentially increasing function - essentially integrable function - essentially real function - essentially smooth function
- estimable function

- estimating function

- everywhere continuous function
- everywhere differentiable function - everywhere smooth function
- excessive function

- excitation function

- exhaustion function

- expandable function
- expansible function
- expansion function

- expansive function

- expectation function

- expenditure function

- explicitly bounded function
- explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function
- extendable function

- extended function

- extensional function

- exterior function

- extremal function

- extremized function

- extremum function

- factor function

- factorable function

- factored function

- factorial function

- fatigue function

- feably oscillating function

- featureless function

- field function

- filter function

- filtration function

- final state function

- finitary function

- finite-dimensional function

- finitely additive function
- finitely mean valent function - finitely measurable function
- finite-path function

- fitted function

- flat function

- flow function

- force function

- forcing function

- forecast function

- formally ordered function

- fractional function

- frequency distribution function

- frequency function

- full function

- fully closed function

- function of a single variable
- function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order
- function of function

- function of high smoothness
- function of infinite type - function of integral order
- function of intervals

- function of matrix

- function of maximal growth
- function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable
- function of phase

- function of position

- function of random variable
- function of rapid descent - function of rapid growth - function of real variable
- function of set

- function of several complex variables

- function of singularities

- function of state

- function of support

- function of time

- function of transition

- function of two variables

- fundamental function

- fuzzy function

- gage function

- gage-like function

- game function

- general recursive function
- general universal function - geometric carrier function
- given function

- global defining function

- goniometric function

- grammatical function

- graph-valued function

- greatest-integer function

- group function

- group-reduction function

- growth function

- halo function

- harmonizable function

- height-gain function

- hemicylindrical function

- Herglotz function

- heuristic function

- higher function

- homographic function

- homology function

- homotopic function

- hyperanalytic function

- hyperarithmetical function

- hyperbolic cylinder function

- hypercomplex function

- hyperelliptic function

- hyperharmonic function

- hyperrank function

- hyperspherical function

- hypertranscendental function

- hypoanalytic function

- ideal function

- imaginary function

- immediate successor function
- implicitly definable function
- improper function

- impulse function

- inclusion function

- inclusive function

- incomplete beta function
- incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function
- increment function

- indecomposable function

- indefinite function

- index function

- indicial function

- individual function

- induced function

- inductive function

- inductively definable function
- inductively defined function - inductively integrable function
- infinite function

- infinitely differentiable function
- infinitely divisible function - infinitely many-valued function
- infinitesimal function

- information function

- information-packing function

- initial function

- injective function

- inner function

- input function

- insolvency function

- integrable function

- integral function of mean type
- integral logarithmic function
- integrating function

- intensity function

- interior function

- intermediary function

- interpolating function

- interpolatory function

- interval function

- inverse hyperbolic function
- inverse trigonometric function - inverted beta function
- invertible function

- irrational function

- irreducible function

- irregular function

- isotone function

- iterated function

- iteration function
- iterative function - joint correlation function - joint density function
- kernel function

- kinked function

- knapsack function

- lacunary function

- lambda function

- lattice function

- Lauricella function

- left-continuous function

- left-invariant function

- left-invertible function

- lexical function

- lifting function

- likelihood function

- limit of function

- limitable function

- limiting function

- linear discriminant function

- linearized function

- linearly dependent function
- linearly separable function
- local function

- locally analytic function

- locally approximable function
- locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function
- logarithmically concave function

- logarithmically convex function
- logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function
- logarithmico-exponential function

- logical addition function

- logical function

- logical multiplication function

- logistic function

- log-likelihood function

- loss-of-utility function

- lower closed function

- lower function

- lower measurable function
- lower semicontinuous function
- majorizing function

- many-valued function

- mapping function

- marginal distribution function

- mathematical function

- matrix function

- matrix-convex function

- maximal function

- mean-value function

- measurable function

- measure function

- measure-limited function

- mechanically computable function

- member function

- meromorphic function

- mesh function

- metaharmonic function

- metapragmatic function

- metasemantic function

- metaspherical function

- minimal function

- minimizing function

- minimum function

- minority function

- mixing function

- modified function

- modular function

- molecular set function

- moment generating function

- moment-generating function

- monochromatic function

- monodromic function

- monogenic function

- monomial function

- monomially alternating function
- monotone non-decreasing function - monotone non-increasing function
- monotonic function

- multiaffine function

- multiconstrained function

- multidimensional function

- multiextremal function

- multilinear function

- multiplace function

- multiple valued function

- multiplicity function

- multiplier function

- multiply harmonic function
- multiply periodic function - multiply recursive function
- multithreshold function

- multivalent function

- multivalued function

- multivariable function

- multivariant function

- mutual covariance function

- n-ary function

- nearly continuous function
- negative definite function - negative infinite function
- negligible function

- never-decreasing function

- never-increasing function

- next-state function

- nice function

- n-linear function

- n-metacaloric function

- noise function

- nomographic function

- nonanalytic function

- nonanticipative random function

- nonatomic function

- nonbounded function

- nonconstant function

- nondecreasing function

- nondegenerate function

- nondifferentiable function

- nonelementary function

- nonharmonizable function

- nonincreasing function

- noniterated function

- nonlattice function

- nonmonotonic function

- nonnegative definite function

- nonnegative function

- nonpositive function

- nonrandom function

- nonrecursive function

- nonsymmetrical density function
- nontangentially bounded function
- nontrivial function

- nonvanishing function

- norm function

- normalizable function

- normalized coherence function
- normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function
- n-place function

- n-point function

- n-th order function
- n-times differentiable function - n-tuply periodic function
- null function

- number-theoretical function

- numeralwise decidable function
- numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function
- observation function

- odd function

- omega function

- one-loop function

- one-parameter function

- one-periodic function

- one-place function

- one-sheeted function

- one-sided function

- one-step function

- one-valued function

- one-variable function

- open propositional function
- operating characteristic function
- operative function

- operator function

- optimal decision function
- optimal policy function
- optimizable function

- optimized function

- order function

- order of function

- order preserving function

- orderable function

- ordered function

- ordering function

- ordinal function

- orientation function

- original function

- orthonormal function

- oscillating function

- oscillatory function

- outcome function

- outer function

- p-adic function

- pair correlation function

- pairing function

- parabolical cylinder function
- parametrically definable function
- parametrization function

- parametrized function

- partially computable function

- partially differentiable function

- partially recursive function
- partially symmetric function
- partition function

- partition preserving function

- partitionable function

- patch function

- pattern function

- peaked function

- peakless function

- Pearcey function

- penalty function

- pentagamma function

- permanent function

- perturbation function

- phase function

- phi function

- picture function

- piecewise analytic function
- piecewise constant function - piecewise continuously differentiable function
- piecewise continuously differentiable function

- piecewise expanding function
- piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function
- plotted function

- pluriharmonic function

- plurisubharmonic function

- plurisublinear function

- plurisuperharmonic function

- point spread function
- pointwise approximated function
- pointwise bounded function

- pointwise discontinuous function

- policy function

- polyanalytic function

- polydromic function

- polygamma function

- polygenic function

- polygonal function

- polyhedral function

- polymorphic function

- polynomial clutching function

- polynomial function

- polynomially bounded function

- portfolio function

- posinomial function

- positive definite function
- positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function
- predetermined function

- predicate function

- predicate preserving function

- predual function

- premeromorphic function

- prescribed function

- primal function

- primary function

- prime-divisor function

- primitively recursive function

- principal function

- probability density function
- probability generating function
- process function

- product function

- production function

- productive function

- profit function

- projection function

- projective function

- propagation function

- proximally continuous function

- proximity function

- pseudoanalytic function

- pseudoconcave function

- pseudoconjugate function

- pseudoconvex function

- pseudodifferentiable function

- pseudoelliptic function

- pseudoharmonic function

- pseudohyperanalytic function

- pseudolikelihood function

- pseudolinear function

- pseudoperiodic function

- pseudopotential function

- pseudoproper function

- pseudorandom function

- pure quadratic function

- quadratic function

- quadratically integrable function
- quadratically summable function
- quantile function

- quasiaffine function

- quasialgebraic function

- quasianalytic function

- quasibounded function

- quasiconcave function

- quasiconformal function

- quasicontinuous function

- quasiconvex function

- quasidifferentiable function

- quasidoubly periodic function

- quasielliptic function

- quasiexcessive function

- quasiexponential function

- quasiharmonic function

- quasihomogeneous function

- quasiinterpolating function

- quasimonotonic function

- quasiperiodic function

- quasipolynomial function

- quasiradial function

- quasirecursive function

- quasiseparable function

- quasismooth function

- quasistandard function

- quasistar function

- quasisummation function

- quasiuniformly continuous function

- quasiunimodal function

- quaternion function

- radially symmetric function

- ramification function

- ramified function

- randomized decision function
- rapidly damped function - rapidly decreasing function - rapidly oscillatory function
- ray function

- Rayleigh dissipation function

- real-definite function

- real-valued function

- recession function

- reciprocal function

- recover function

- rectangle function

- recursively calculable function
- recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function
- reduced function

- regression function

- regret function

- regularized function

- regularly varying function

- regulated function

- relation reserving function
- relative distribution function - relative frequency function
- remuneration function

- renewal function

- renormalized function

- repeatedly differentiable function

- representable function

- representative function
- representing function - reproducing kernel function - residual function - residue function
- resolutive function

- resolvent function

- restricted function

- restricting function

- retarded function

- retracting function

- ridge function

- Riemann zeta function

- right-continuous function

- right-invariant function

- roof function

- root-mean-square function

- rudimentary function

- ruin function

- ruled function

- saddle function

- saltus function

- sample distribution function

- sampling function

- sandwich function

- scalar analytical function
- scalarwise integrable function - scalarwise measurable function
- scedastic function

- scheme function

- schlicht function

- search function

- section of function

- sectionally continuous function
- sectionally smooth function
- selective function

- self-dual function

- self-indexing function

- self-reciprocal function

- semiarithmetical function

- semicoercive function

- semicontinuous function

- semicylindrical function

- semidefinite function

- semiintegrable function

- semiinvariant function

- semimodular function

- semimultiplicative function

- semiproductive function

- semispectral function

- semisymmetric function

- sentential function

- separably valued function

- separately continuous function

- separation function

- sequence function

- sequential function

- sequentially continuous function

- set-preserving function

- set-valued function

- shape function

- sharp function

- shifted function

- sifting function

- sigma function

- signaling function

- simple function

- simply measurable function
- simply periodic function
- single-humped function

- singly periodic function
- singly recursive function
- singular function

- singularity function

- sinusoidal function

- skew-symmetric function

- slowly decreasing function
- slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function
- source function

- sourcewise representable function

- space-dependent function

- space-time function

- spannable function

- spheroidal function

- spinor-valued function

- spline function

- square-integrable function

- square-sine function

- square-summable function

- stability function

- stable function

- starlike function

- star-shaped function

- stationary random function

- statistical function

- status function

- steadily decreasing function
- steadily increasing function
- stiff function

- stochastic function

- stochastic transition function
- stopped random function
- straight-line function

- stream function

- streamline function

- strength function

- stretch function

- strictly concave function
- strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function
- stroke function

- strongly continuous function
- strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function
- structure function

- subadditive function

- subdifferentiable function

- subintegral function

- subinvariant function

- submultiplicative function

- suboperative function

- suboptimized function

- subordinated function

- subparabolic function

- subregular function

- success function

- sufficiently differentiable function

- sum function

- summatory function

- superadditive function

- supercaloric function

- supercontinuous function

- supermedian function

- supermultiplicative function

- superparabolic function

- superregular function

- surface function

- surjective function

- switching function

- symbolic function

- symmetrizable function

- symmetrized function

- tabulated function

- tame function

- tangential function

- target function

- temperate function

- temperature function

- tempered function

- tensor function

- ternary function

- tesseral function

- tetrachoric function

- tetragamma function

- time-limited function

- time-varying function

- tissue function

- toroidal function

- torus function

- total function

- total recursive function
- totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function
- totient function

- tower function

- trace function

- transferable function

- transfinite function

- transformation function

- transition probability function

- translation function

- translation invariant function

- transmission function

- trapezoidal function

- trend function

- trial function

- triangle function
- triangular function
- tribeta function

- trigamma function

- trilinear function

- true function

- truncated function

- truncation function

- twice differentiable function

- twistor function

- two-parameter function

- two-place function

- two-point function

- two-sided function

- typically real function

- ultradifferentiable function

- ultraspherical function

- unbounded function

- uncertainty function

- uncomputable function

- unconditionally summable function

- unconstrained function

- undecomposable function

- undefined function

- uneven function

- uniform function

- uniformizing function

- uniformly approximable function
- uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function
- unimodular function

- uniquely nomographic function

- unisolvent function

- unit function

- unit impulse function
- unit step function - unitary divisor function
- univalent function

- univariate function

- universally measurable function

- unknown function

- unramified function

- upper closed function
- upper measurable function - upper semicontinuous function
- valuation function

- vector-valued function

- vertex function

- voting function

- weakly additive function
- weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random function
- well-behaved function

- well-integrable function

- window function

- wrapping function

- wurzelfrei function

- zero function

- zonal spherical function

English-Russian scientific dictionary > function
7 form

1) анкета; бланк

2) вид; форма || придавать вид или форму

3) контур; очертание

4) конфигурация

5) разновидность

6) строит. опалубка; элемент опалубки

7) скамейка, лавочка

8) формуляр

9) составлять; образовывать

10) формироваться

•

calculation in a series form — матем. вычисление с помощью ряда

evaluation of indeterminate form — матем. раскрытие неопределённости

expression in a closed form — выражение в конечном виде

fraction in a factored form — матем. дробь в форме разложения на множители

in a functonal form — в виде функции

in an expanded form — в виде ряда; в развёрнутом виде

integration in a closed form — матем. интегрирование в конечном виде

in the form of — в виде

of closed form — матем. в конечном виде, с конечным числом членов

preparation of type form — полигр. чернение набора

reduction to a normal form — матем. приведение к нормальной форме

to be supplied in a knock-down form — поставляться в разобранном виде

to bring into a canonical form — матем. приводить к канонической форме; приводить к каноническому виду

to draw up in a draft form — составлять начерно

to form a knee — сгибаться под углом

to form a circle — замыкаться в кольцо; образовывать кольцо

to form an angle with — образовывать угол c

to form an erect image — давать прямое изображение

to present in a factor form — разлагать на множители

to rearrange in the form — переписывать в виде; преобразовывать к виду ( об уравнениях)

to reduce equation to a form — приводить уравнение к виду

to simplify to this form — упростить и привести к следующему виду

to take on a form — принимать форму; принимать вид

- abridged form

- absolute form

- absolutely bounded form
- absolutely convergent form - absolutely extreme form
- abstract form

- adjoint form

- alternating form

- antiholomorphic form

- antilinear form

- antisymmetric form

- arithmetical form

- assertional form

- asymptotic form

- autodual form

- automorphic form

- bihomogeneous form

- bilinear form

- binomial form

- biquadratic form

- blank form

- block form

- boundary form

- bounded form

- bundle form

- categorical form

- center-radius form

- characteristic form

- classical canonical form

- classically integral form

- closable form

- coclosed form

- coded form

- coercive form

- collapsible form

- combinatory form

- compact form

- complementary boundary form

- completely positive form

- complex form

- complex-valued form

- condensed form

- confluent form

- conjugate form

- conjunctive form

- connection form

- contact form

- contiguous form

- contracted form

- convergent form

- convex form

- copositive form

- cubic form

- curvature form

- cusp form

- decimal form

- decomposable form

- defined form
- definite form
- degenerate form

- diagonal form

- diagonalized form

- difference form

- differential form

- dimensionless form

- discontinuous form

- disjunctive form

- distributive form

- divergence form

- dominant form

- double form

- echelon form

- effective form

- elemental form
- elementary form - elimination form of inverse
- elliptic form

- enantiomorphous form

- equivalent forms

- equivariant form

- essentually definite form
- everywhere regular form - evolutionary operation form
- exact form

- expanded form

- explicit form

- exponential form

- extensive form

- exterior form

- extreme form

- fiber form

- final form

- first fundamental form

- flat form

- form of constraint

- functional form

- fundamental form

- gage form

- generalized form

- generally covariant form
- geodesic curvature form
- goniometric form

- ground form

- hemihedral form

- holohedral form

- homological form

- horizontal form

- hyperbolic form

- hypocontinuous form

- implicative form

- implicit form

- imprimitive form

- improperly primitive form
- indefinite form
- indeterminate form

- index form

- inertia form

- inhomogeneous modular form

- initial form

- integer form

- integrable form

- integrated form of equation

- integro-differential form

- integro-power form

- intercept form

- intersection form

- invariant form

- irreducible form

- irredundant form

- iteratable form

- iterated form

- krakowian form

- left-invariant form

- limiting form

- locally compactifiable form

- logarithmical form

- measurable form

- meromorphic form

- message form

- minimal form

- modular form

- m-sectorial form

- multilinear form

- multiplicative form

- name form

- n-ary form

- negative definite form

- negative form

- negative semidefinite form

- neutral form

- nondegenerate form

- nonfull form

- nonnegative definite form

- nonnegative form

- nonpositive definite form

- nonpositive form

- nonsingular form

- norm form

- normal disjunctive form

- normed form

- normic form

- nuclear bilinear form

- null form

- numerical form

- one-signed quadratic form

- open form

- operator form

- optically active form
- p-adically equivalent form
- parametric form

- perfect form

- Pfaffian form

- piecewise linear form

- point-direction form

- point-slope form

- polarization form

- polarized form

- polylinear form

- polynomial form

- positive semidefinite form

- predicate form

- prime form

- primitive quadratic form

- principal form

- product form

- projective form

- properly equivalent forms

- propositional form

- pseudoasymptotic form

- pseudoelliptical form

- pseudoholomorphic form

- pseudoquadratic form

- pseudovolume form

- quantifier form

- quartic form

- quasiasymptotic form

- quasibilinear form

- quasidiagonal form

- quasinatural form

- quasinormal form

- quasiregular form

- quaternary form

- quaternion form

- rational form

- real-valued form

- reciprocal form

- rectangular form of complex number

- reduced echelon form

- reduced form of quadratic equation

- reduced form

- reflexive form

- relative defferential form
- relatively bounded form - repair request form
- residual form

- residue form

- resolving form

- resultant form

- scalar form

- second fundamental form

- self-conjugate form

- self-dual form

- semibasic form

- semibilinear form

- semicanonical form

- semicontinuous form

- semidefinite form

- semidiscrete form

- semiequivalent form

- seminormal form

- separately continuous form

- sesquilinear form

- shape form

- sharp form

- sign-and-absolute-value form

- simplified form

- skew-symmetric form

- slope-intercept form

- smooth form

- solder form

- space form

- special minimal form

- spectral form

- spinor form

- statement form

- strictly positive form

- structural form

- supercusp form

- symbolic form

- symmetric form of equation

- symmetrized form

- symplectic form

- tensorial form

- ternary quadratic form
- third fundamental form
- three-point form

- torsion form

- totally continuous form
- totally definite form - totally discontinuous form
- trace form

- transposed form

- trilinear form

- triple-diagonal form

- two-intercept form

- two-point form

- unbounded form

- unit bilinear form

- unitary form

- vectorial form

- vector-valued form

- vicinal form

- weighted form of lemma

English-Russian scientific dictionary > form

См. также в других словарях:

Kleene's T predicate — In computability theory, the T predicate, first studied by mathematician Stephen Cole Kleene, is a particular set of triples of natural numbers that is used to represent computable functions within formal theories of arithmetic. Informally, the T … Wikipedia
Extension (predicate logic) — The extension of a predicatendasha truth valued functionndashis the set of tuples of values that, used as arguments, satisfy the predicate. Such a set of tuples is a relation.For example the statement d2 is the weekday following d1 can be seen as … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Ground expression — In mathematical logic, a ground term of a formal system is a term that does not contain any variables at all, and a closed term is a term that has no free variables. In first order logic all closed terms are ground terms, but in lambda calculus… … Wikipedia
Atomic formula — In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms… … Wikipedia
Theory of relations — This article is about the theory of relations with regard to its specifically combinatorial aspects. For a general discussion of the basic definitions, see Binary relation and Finitary relation. The theory of relations treats the subject matter… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Cumulativity — In linguistic semantics, an expression X is said to have cumulative reference if and only if the following holds: If X is true of both of a and b, then it is also true of the combination of a and b. Example: If two separate entities can be said… … Wikipedia
Concrete category — In mathematics, a concrete category is a category that is equipped with a faithful functor to the category of sets. This functor makes it possible to think of the objects of the category as sets with additional structure, and of its morphisms as… … Wikipedia
IDEF1X — IDEFIX ( Integration Definition for Information Modeling ) is a data modeling language for the developing of semantic data models. IDEF1X is used to produce a graphical information model which represents the structure and semantics of information … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

n-ary predicate

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

n-ary predicate

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: